361. Theoretical computer science : 5th GI conference, karlsruhe, March 23-25, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses
رده :
QA
267
.
G18
1981
362. Theoretische Informatik :
پدیدآورنده : von Ingo Wegener.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Theory of computer science.
363. Theory of Finite Automata
پدیدآورنده : \ John Carroll, Darrell Long.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal languages,زبانهای صوری,a04,a04,Sequential machine theory.,ماشین حالت‌های متناهی
رده :
E-Book
,
364. Theory of automata /
پدیدآورنده : Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Power series.,Sequential machine theory.
رده :
QA267
.
5
.
S4
S3
1969
365. Theory of automata
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4
.
S3
1969
366. Theory of finite automata
پدیدآورنده : Carroll, John
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
367. Theory of finite automata : with an introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
368. Theory of finite automata : with and introduction to formal languages
پدیدآورنده : Carroll, John
کتابخانه: (طهران)
موضوع : Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
369. Theory of formal languages with applications
پدیدآورنده : Dan.A Simovici and Richard.L Tenney,Title
کتابخانه: (مازندران)
موضوع : formal languages
رده :
QA
.
S56
267
.
3
1999
370. Theory of language syntax
پدیدآورنده : Urszula Wybraniec-Skardowska ; ]translated from the Polish by Olgierd Adrian Wojtasiewicz[,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Categorial grammar,Formal languages,Logic, Symbolic and mathematical
رده :
EBOOK
,
P
.
W913
161
1991
371. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
372. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
373. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
374. Transductions and context-free languages
پدیدآورنده : Berstel, Jean
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
B46
375. Transductions and context-free languages /
پدیدآورنده : by Jean Berstel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.
رده :
QA267
.
3
.
B46
376. UML 2 semantics and applications
پدیدآورنده : edited by Kevin Lano
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Computer software, Development,Application software, Development,UML )Computer science(,Formal languages, Semantics
رده :
QA
76
,.
76
.
U5
2009
377. UML 2 semantics and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Development. ; Application software ; Development. ; UML (Computer science) ; Formal languages ; Semantics. ;
378. UML 2 semantics and applications
پدیدآورنده : / edited by Kevin Lano
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer software, Development,Application software, Development,UML (Computer science),Formal languages, Semantics
رده :
E-BOOK
379. Un code pour les graphes planaires et ses applications
پدیدآورنده : Cori, Robert
کتابخانه: (طهران)
موضوع : ، Graph theory,، Formal languages
رده :
QA
3
.
A78
Vol
.
27
380. Understanding language : man or machine
پدیدآورنده : John A. Moyne
کتابخانه: كتابخانه دانشکده زبانها و ادبیات خارجی دانشگاه تهران (طهران)
موضوع : Psycholinguistics,Computational linguistics,Comprehension,Artificial intelligence,Grammar, Comparative and general,Formal languages
رده :
P
37
.
M69
1985
